Type Extenders
Identifier:
org.eclipse.jdt.ui.typeExtenders
Description:
This extension point allows to add methods to an already existing type.
Configuration Markup:
<!ELEMENT extension (typeExtender*)>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
name CDATA #IMPLIED>
- point - a fully qualified identifier of the target extension point
- id - an optional identifier of the extension instance
- name - an optional name of the extension instance
<!ELEMENT typeExtender EMPTY>
<!ATTLIST typeExtender
id CDATA #REQUIRED
type CDATA #REQUIRED
methods CDATA #REQUIRED
class CDATA #REQUIRED>
- id - Unique identifier for the type extender
- type - The type to be extended by this extender.
- methods - The methods provided by this type extender.
- class - the name of the class that implements this type extender. The
class must be public and implement
@@@.TypeExtender
with a public 0-argument constructor.
Examples:
The following is an example of a type extender contribution:
<extension point=
"org.eclipse.jdt.ui.typeExtenders"
>
<typeExtender
id=
"org.eclipse.jdt.ui.IResourceExtender"
type=
"org.eclipse.core.resources.IResource"
methods=
"canDelete"
class=
"org.eclipse.jdt.ui.internal.ResourceExtender"
>
</typeExtender>
</extension>
API Information:
The contributed class must implement ???.TypeExtender